Peter Schroeder-Heister (eds.): tìm kiếm trên Z-Library

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Truy cập tự do vào tri thức và văn hóa.

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024

Z-Library là một trong những thư viện trực tuyến lớn nhất trên thế giới bào gồm thêm 17,000,000 sách và 84,837,000 báo. Chúng tôi hướng tới việc tạo khả năng tiếp cận văn hóa cho mọi người. Hôm nay (15 tháng 9 2024) chúng tôi bắt đầu tăng quỹ để duy trì và phát triển dự án.

Cũng tải về KHÔNG GIỚI HẠN (trong 31 ngày sau khi quyển góp) cho TẤT CẢ người dùng quyên góp trong giai đoạn tăng quỹ 1 tháng 10 2024.

Về việc thu tiềnChi tiết

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (7)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)

Năm:

1991

Ngôn ngữ:

english

File:

DJVU, 3.64 MB

0 / 0

english, 1991

2

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

Năm:

1996

Ngôn ngữ:

english

File:

DJVU, 2.75 MB

0 / 0

english, 1996

3

Enzyklopädie Philosophie und Wissenschaftstheorie: Band 1: A–B

Enzyklopädie Philosophie und Wissenschaftstheorie: Band 1: A–B

Gottfried Gabriel, Matthias Gatzemeier, Carl F. Gethmann, Peter Janich, Friedrich Kambartel, Kuno Lorenz, Klaus Mainzer, Peter Schroeder-Heister, Christian Thiel, Reiner Wimmer, Martin Carrier (auth.), Jürgen Mittelstraß (eds.)

Năm:

2005

Ngôn ngữ:

german

File:

PDF, 60.84 MB

0 / 0

german, 2005

4

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 2.52 MB

0 / 0

english, 2001

5

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Springer International Publishing

Thomas Piecha, Peter Schroeder-Heister (eds.)

Năm:

2016

Ngôn ngữ:

english

File:

PDF, 2.69 MB

0 / 0

english, 2016

6

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Thomas Piecha, Peter Schroeder-Heister (eds.)

Năm:

2016

Ngôn ngữ:

english

File:

PDF, 1.69 MB

0 / 0

english, 2016

7

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 1.73 MB

0 / 0

english, 2001